<?php

function printLecteur() {

    
   echo '      <div id="player">';
echo '</div>';
}

?>
